Tolerance Semantics Modeling Based on Mathematical Definition
نویسندگان
چکیده
منابع مشابه
System Model-Based Definition of Modeling Language Semantics
In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecified and incomplete models. To this end, semantics is given as predicates over elements of the semantic domain. This domain is called the system model which is a general declarative characterization of object systems. The system m...
متن کاملUser Modeling Based on Emergent Domain Semantics
In this paper we present an approach to user modeling based on the domain model that we generate automatically by resource (text) content processing and analysis of associated tags from a social annotation service. User’s interests are modeled by overlaying the domain model – via keywords extracted from resource’s (text) content, and tags assigned by the user or other (similar) users. The user ...
متن کاملSemantics for Web-Based Mathematical Education Systems
Web-based user-adaptive learning environments suggest a semantic knowledge representation that can be reused in different contexts. Moreover, if these educational systems employ external service systems for support or for exploratory activities, the semantic representation is a basis for the interoperability of the service systems and for machine-understandable data. ActiveMath is such a learni...
متن کاملMathematical Modeling and Lyapunov-Based Drug Administration in Cancer Chemotherapy
In this paper a new mathematical model is developed for the dynamics between tumor cells, normal cells, immune cells, chemotherapy drug concentration and drug toxicity. Then, the theorem of Lyapunov stability is applied to design treatment strategies for drug protocols that ensure a desired rate of tumor cell kill and push the system to the area with smaller tumor cells. Using of this theorem a...
متن کاملOn the Practical Semantics of Mathematical Diagrams
This paper describes our research into the way in which diagrams convey mathematical meaning. Through the development of an automated reasoning system, called grover, we have tried to discover how a diagram can convey the meaning of a proof. grover is a theorem proving system that interprets diagrams as proof strategies. The diagrams are similar to those that a mathematician would draw informal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer-Aided Design and Applications
سال: 2011
ISSN: 1686-4360
DOI: 10.3722/cadaps.2011.795-808